\begin{tabbing}
(\=(Auto$\cdot$) \+
\\[0ex]CollapseTHEN (((((FLemma `adjacent{-}before` [{-}1]) 
\-\\[0ex]THENM (((
\\[0ex]FLemma `l\_before\_member`[{-}1]) 
\\[0ex]T\=HENM (FLemma `l\_before\_member2`[{-}2]))$\cdot$))$\cdot$) \+
\\[0ex]
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}